homotopy set

同伦集(合)